Chinese translation for "logical formulas"

逻辑式

Related Translations:

logical positivist:  逻辑实证论者

logical nor:  逻辑非或

logical capability:  逻辑功能

logical rigor:  逻辑的严密性

logical successor:  逻辑后继

logical argumentation:  逻辑论证

logical logging:  逻辑记录

logical wiring:  逻辑连线

logical cperotion:  逻辑操作

logical units:  逻辑单元

Example Sentences:

	1.	Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience 依照逻辑规则创建了所有名称属性；在本示例中，我使用了自己视为方便的名称。
	2.	However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules 在现有的ontology语言中，有的不是面向web这种标记语言环境的，有的缺乏知识、逻辑公式、公理以及规则表示的通性支持。
	3.	This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx 本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。

Similar Words：

"logical font" Chinese translation, "logical form" Chinese translation, "logical form component" Chinese translation, "logical form representation" Chinese translation, "logical formula" Chinese translation, "logical front end" Chinese translation, "logical function" Chinese translation, "logical function equation" Chinese translation, "logical function reference" Chinese translation, "logical functional" Chinese translation